int   ghtml_app_exit_value = 0;
char *ghtml_app_name = 0;
char *ghtml_app_title = 0;
char *ghtml_app_directory = 0;
void *ghtml_window = 0; /* GtkWidget */
void *ghtml_window_scrollable_content_area = 0; /* GtkWidget */

void *ghtml_webview = 0; /* WebKitWebView */
void *ghtml_webview_main_frame = 0;
void *ghtml_webview_global_context = 0;
void *ghtml_webview_motif_uri = 0;
bool ghtml_webview_explode = false;
charbuffer *ghtml_webview_load_statements = 0;

